Univalent foundations - PDFSEARCH.IO - Document Search Engine

Univalent foundations
Results: 19

#	Item
11	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-21 07:27:06
12	Univalent Foundations and the equivalence principle Benedikt Ahrens Outline Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2016-06-02 12:35:34
13	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
14	Univalent Foundations and the Structure Identity Principle Ulrik Buchholtz Logic Seminar, Stanford, January 8, 2013 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-06-01 10:17:19
15	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: www.heidelberg-laureate-forum.org Language: English - Date: 2014-06-05 11:45:29
16	Expenses Reimbursement Request Form for the Type Theory, Homotopy Theory, And Univalent Foundations Conference Held in Barcelona, Spain, September 23-27, 2013 133350108585Reminders: (1) Approved expenses reimbursement wi Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2013-09-06 14:27:46 Business Accounts payable Credit card Reimbursement
17	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
18	Homotopy Type Theory and Univalent Foundations of Mathematics Steve Awodey Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Homotopy type theory Homotopy Mathematical logic Algebraic topology Homotopy group Homotopy theory Topology Mathematics
19	Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011 Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2011-12-13 11:34:22 Category theory Topology Higher category theory Algebraic structures Type theory Zermelo–Fraenkel set theory Groupoid Set theory New Foundations Mathematics Abstract algebra Homotopy theory